Heuristic Verification and Validation of Software Process Simulation Models
نویسندگان
چکیده
We illustrate the use of heuristic algorithms to improve the verification and validation of software process simulation models. To use this approach, an optimization problem is formulated to guide a heuristic search algorithm that will attempt to locate configurations of the system that yield surprising results. These surprising results often help the modeler to identify flaws in the model logic that would otherwise remain undetected. The general concepts are discussed and a simple example is provided.
منابع مشابه
Heuristic optimization as a V&V tool for software process simulation models
This work illustrates the use of heuristic algorithms to improve the verification and validation of software process simulation models. To use this approach, an optimization problem is formulated to guide a heuristic search algorithm that will attempt to locate particular combinations of parameter values that yield surprising results. These surprising results often help the modeler to identify ...
متن کاملSimulation and Model Validation of Batch PHB Production Process Using Ralstonia eutropha
Mathematical modeling and simulation of microbial Polyhydroxybutyrate (PHB) production process is beneficial for optimization, design, and control purposes. In this study a batch model developed by Mulchandani et al., [1] was used to simulate the process in MATLAB environment. It was revealed that the kinetic model parameters were estimated off the optimal or at a local optimal point. There...
متن کاملExploring the Software Verification and Validation Process with Focus on Efficient Fault Detection
Quality is an aspect of high importance in software development projects. The software organizations have to ensure that the quality of their developed products is what the customers expect. Thus, the organizations have to verify that the product is functioning as expected and validate that the product is what the customers expect. Empirical studies have shown that in many software development ...
متن کاملComparison of Efficiency for Hydrological Models (AWBM & SimHyd) and Neural Network (MLP & RBF) in Rainfall–Runoff Simulation (Case study: Bar Aryeh Watershed -Neyshabur)
For suitable programming and management of water resources, access to perfect information from the discharge at the watershed outlet is essential. In most watersheds, the hydrometric station is not available; then, different models are used to simulate the discharge within watersheds without data. The selection of preferred model for rainfall- runoff simulation depends to the purpose of modelin...
متن کاملSoftware Verification and Validation Laboratory: Automated Test Suite Generation for Time-Continuous Simulink Models
All engineering disciplines are founded and rely on models, although they may differ on purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical Systems (CPSs) seek approaches that incorporate different modeling needs and usages. Specifically, the Simulink modeling platform greatly appeals to CPS engineers due to its seamless support for simulation and code generation. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007